Integrated analysis of concurrent distributed systems using Markovian process algebra
نویسندگان
چکیده
منابع مشابه
Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
We propose an approach for modeling and analyzing concurrent systems which integrates different points of view (centralized vs. distributed) as well as different aspects of their behavior (qualitative vs. quantitative). This integrated approach is based on an algebraic formalism for specifying concurrent systems which lies in the class of stochastic process algebras, hence exploiting the proper...
متن کاملAn Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
Considering both qualitative and quantitative aspects in the same modeling approach enhances coherency when analyzing concurrent system properties. Moreover, the impacts of changes related to functional and temporal features are generally better highlighted. In this paper, the authors present their approach to model and analyze behavioral and temporal properties of true concurrency systems. Com...
متن کاملExtended Markovian Process Algebra: A Case Study
Extended Markovian Process Algebra (EMPA) is a process algebra suitable for expressing functional and performance aspects of concurrent systems. It is equipped with an operational interleaving semantics, a functional semantics, a Markovian semantics and an operational net semantics. In this paper we apply an integrated approach based on EMPA for mod-eling and analyzing concurrent systems to the...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملPerformance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
We present a process-algebraic framework for performance evaluation of discrete-time discrete-event systems. The modeling of the system builds on a process algebra with conditionallydistributed discrete-time delays and generally-distributed stochastic delays. In the general case, the performance analysis is done with the toolset of the modeling language χ by means of discrete-event simulation. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994